p(e0).
q(e0).
p(e1).
q(e1).
p(e2).
q(e2).
p(e3).
q(e3).
p(e4).
q(e4).
p(e5).
q(e5).
p(e6).
q(e6).
p(e7).
q(e7).
p(e8).
q(e8).
p(e9).
q(e9).
p(e10).
q(e10).
p(e11).
q(e11).
p(e12).
q(e12).
p(e13).
q(e13).
p(e14).
q(e14).
p(e15).
q(e15).
p(e16).
q(e16).
p(e17).
q(e17).
p(e18).
q(e18).
p(e19).
q(e19).
p(e20).
q(e20).
p(e21).
q(e21).
p(e22).
q(e22).
p(e23).
q(e23).
p(e24).
q(e24).
p(e25).
q(e25).
p(e26).
q(e26).
p(e27).
q(e27).
p(e28).
q(e28).
p(e29).
q(e29).
p(e30).
q(e30).
p(e31).
q(e31).
p(e32).
q(e32).
